(w32_menu_display_help): Hide any tooltip window.

diff --git a/src/ChangeLog b/src/ChangeLog
index ea9b872084088db566b430290fd4f63f0312067e..ccb16497fc59907854af2a5e90edaa543d21e737 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2002-01-05  Jason Rumney  <jasonr@gnu.org>
 
+       * w32menu.c (w32_menu_display_help): Hide any tooltip window.
+
        * w32fns.c (compute_tip_xy): If tooltip won't fit on the screen
        to the left or to the right of the pointer, put it against
        the left screen edge.

diff --git a/src/w32menu.c b/src/w32menu.c
index 03ffb301f01e8df1460161c53be28e7567e07c63..2fe9a63ad5b1c8a62d20a1d62087217a1a4761b6 100644 (file)
--- a/src/w32menu.c
+++ b/src/w32menu.c
@@ -2226,6 +2226,8 @@ w32_menu_display_help (HWND owner, HMENU menu, UINT item, UINT flags)
         Windows code on the non-toolkit version.  */
       if (f)
        {
+         Fx_hide_tip ();
+
          XSETFRAME (frame, f);
          kbd_buffer_store_help_event (frame, help);
        }